A framework for linear authorization logics
نویسندگان
چکیده
منابع مشابه
An Authorization Framework for Database Systems
Today, data plays an essential role in all levels of human life, from personal cell phones to medical, educational, military and government agencies. In such circumstances, the rate of cyber-attacks is also increasing. According to official reports, data breaches exposed 4.1 billion records in the first half of 2019. An information system consists of several components, which one of the most im...
متن کاملA linear programming framework for logics of uncertainty
Several logics for reasoning under uncertainty distribute probabil ity mass over sets in some sense These include probabilistic logic Dempster Shafer theory other logics based on belief functions and second order probabilistic logic We show that these logics are in stances of a certain type of linear programming model typically with exponentially many variables We also show how a single linear ...
متن کاملArchitectural Framework for Web Services Authorization
This paper proposes an authorization architecture for Web services. It describes the architectural framework, the administration and runtime aspects of our architecture and its components for secure authorization of Web services as well as the support for the management of authorization information. The paper also describes authorization algorithms required to authorize a Web service client. Th...
متن کاملAuthorization Framework for Service Oriented Architecure
Setting up secure application architecture is very challenging. The Service Oriented Architecture design allows and requires centrally manageable security services, among them the authorization service is the key to build model based security infrastructure. Although the theory of different security models are well-known, the definition and coding of the authorization rules are not complicated,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2014
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2014.02.018